$\forall$$r$,$s$:rationals. qdist($r$; $s$) $\in$ rationals